/************************************************************************
 * Strathclyde Planning Group, Department of Computer and Information Sciences,
 * University of Strathclyde, Glasgow, UK http://planning.cis.strath.ac.uk/
 * 
 * Copyright 2007, Keith Halsey Copyright 2008, Andrew Coles and Amanda Smith
 * 
 * (Questions/bug reports now to be sent to Andrew Coles)
 * 
 * This file is part of JavaFF.
 * 
 * JavaFF is free software: you can redistribute it and/or modify it under the
 * terms of the GNU General Public License as published by the Free Software
 * Foundation, either version 2 of the License, or (at your option) any later
 * version.
 * 
 * JavaFF is distributed in the hope that it will be useful, but WITHOUT ANY
 * WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR
 * A PARTICULAR PURPOSE. See the GNU General Public License for more details.
 * 
 * You should have received a copy of the GNU General Public License along with
 * JavaFF. If not, see <http://www.gnu.org/licenses/>.
 * 
 ************************************************************************/

package javaff.data.strips;

import java.util.ArrayList;
import java.util.HashSet;
import java.util.List;
import java.util.Map;
import java.util.Set;

import javaff.data.GroundCondition;
import javaff.data.GroundEffect;
import javaff.data.Parameter;
import javaff.planning.FFState;
import javaff.planning.STRIPSState;

public class Proposition extends javaff.data.Literal implements
        GroundCondition, GroundEffect{
	public Proposition(PredicateSymbol p) {
		name = p;
	}

	public boolean isTrue(FFState s) // returns whether this conditions is true
	// is FFState S
	{
		STRIPSState ss = (STRIPSState) s;
		return ss.isTrue(this);
	}

	/**
	 * added on 2010-01-16 by (RP)
	 * 
	 */
	public String getPredicateName() {
		return name.toString();
	}

	/**
	 * added on 2010-01-16 by (RP)
	 */
	public List<String> getStringParameters() {
		final List<String> params = new ArrayList<String>();
		@SuppressWarnings("unchecked")
		final List<Parameter> parameters2 = parameters;
		for (Parameter p : parameters2) {
			params.add(p.getName());
		}
		return params;
	}

	public void apply(FFState s) // carry out the effects of this on FFState s
	{
		STRIPSState ss = (STRIPSState) s;
		ss.addProposition(this);
	}

	public void applyAdds(FFState s) {
		apply(s);
	}

	public void applyDels(FFState s) {
	}

	@Override
	public boolean isStatic() {
		return name.isStatic();
	}

	public Set getDeletePropositions() {
		return new HashSet();
	}

	public Set getAddPropositions() {
		Set rSet = new HashSet();
		rSet.add(this);
		return rSet;
	}

	public GroundCondition staticifyCondition(Map fValues) {
		if (isStatic())
			return TrueCondition.getInstance();
		else
			return this;
	}

	public GroundEffect staticifyEffect(Map fValues) {
		return this;
	}

	public Set getConditionalPropositions() {
		Set rSet = new HashSet();
		rSet.add(this);
		return rSet;
	}

	public Set getOperators() {
		return new HashSet();
	}

	public Set getComparators() {
		return new HashSet();
	}

	@Override
	public int hashCode() {
		int hash = 6;
		hash = 31 * hash ^ name.hashCode();
		hash = 31 * hash ^ parameters.hashCode();
		return hash;
	}
}
